$\forall$$r$:Rng, $u$, $v$:$\mid$$r$$\mid$, $b$:$\mathbb{B}$. ($u$ $\ast$ (when $b$. $v$)) $=$ (when $b$. ($u$ $\ast$ $v$)) $\in$ $\mid$$r$$\mid$